common/vsprintf: special-case DOMID_IDLE handling for %pv
authorAndrew Cooper <andrew.cooper3@citrix.com>
Thu, 25 Jun 2015 12:56:26 +0000 (14:56 +0200)
committerJan Beulich <jbeulich@suse.com>
Thu, 25 Jun 2015 12:56:26 +0000 (14:56 +0200)
commit319e431e40139e27d871cbe53976b423301a6af0
treed0afc54ba98c744a2813f7987319369ac00d58ea
parent15d248048e1baf3efcb437156d1529ad5595013c
common/vsprintf: special-case DOMID_IDLE handling for %pv

Prints IDLEv0 as opposed to d32767v0

Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
xen/common/vsprintf.c